<html>
<head><meta charset="utf-8"><title>intern predicates, introduce forall/implie compiler-team#285 · t-compiler/major changes · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/index.html">t-compiler/major changes</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html">intern predicates, introduce forall/implie compiler-team#285</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="196303836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196303836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196303836">(May 05 2020 at 13:01)</a>:</h4>
<p>A new proposal has been announced <a href="https://github.com/rust-lang/compiler-team/issues/285" title="https://github.com/rust-lang/compiler-team/issues/285">#285</a>. It will be brought up at the next meeting.</p>



<a name="196303961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196303961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196303961">(May 05 2020 at 13:02)</a>:</h4>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> how hard would it be for the triagebot to also post the link to the zulip thread in <a href="https://github.com/rust-lang/compiler-team/issues/285" title="https://github.com/rust-lang/compiler-team/issues/285">https://github.com/rust-lang/compiler-team/issues/285</a> ?</p>



<a name="196304027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196304027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196304027">(May 05 2020 at 13:02)</a>:</h4>
<p>I wasn't able to find a nice way to identify the zulip thread when I last worked on it but didn't spend more than maybe 5 minutes looking</p>



<a name="196304172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196304172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196304172">(May 05 2020 at 13:04)</a>:</h4>
<p>looking at the api now it does seem like we should be able to do it without too much extra work</p>



<a name="196304219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196304219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196304219">(May 05 2020 at 13:04)</a>:</h4>
<p>mind filing an issue if there isn't one yet?</p>



<a name="196304358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196304358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196304358">(May 05 2020 at 13:05)</a>:</h4>
<p>ok</p>



<a name="196304560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196304560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196304560">(May 05 2020 at 13:06)</a>:</h4>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> <a href="https://github.com/rust-lang/triagebot/issues/505" title="https://github.com/rust-lang/triagebot/issues/505">https://github.com/rust-lang/triagebot/issues/505</a></p>



<a name="196353586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196353586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196353586">(May 05 2020 at 19:19)</a>:</h4>
<p>I was wondering <span class="user-mention" data-user-id="232957">@Jack Huey</span> if you'd be interested to pursue</p>



<a name="196356746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196356746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196356746">(May 05 2020 at 19:42)</a>:</h4>
<p>^ I am interested in this, I am already working on a some large PRs right now, so in case someone else wants to do this they should have priority.</p>



<a name="196361067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196361067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196361067">(May 05 2020 at 20:14)</a>:</h4>
<p>I am interested. But sort of thin on time right now. So if <span class="user-mention" data-user-id="216206">@Bastian Kauschke</span> has the time/motivation, go for it. Otherwise, I'll do it :)</p>



<a name="196361103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196361103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196361103">(May 05 2020 at 20:14)</a>:</h4>
<p><span aria-label="laughing" class="emoji emoji-1f606" role="img" title="laughing">:laughing:</span></p>



<a name="196834271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196834271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196834271">(May 07 2020 at 21:45)</a>:</h4>
<p>I've been slowly hacking on the first few commits in a branch</p>



<a name="196834301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196834301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196834301">(May 07 2020 at 21:45)</a>:</h4>
<p>jfyi</p>



<a name="196867177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196867177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196867177">(May 08 2020 at 07:55)</a>:</h4>
<p><span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span> ping me once there once there is something I can do here, I should have enough time atm</p>



<a name="196878105"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196878105" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196878105">(May 08 2020 at 10:17)</a>:</h4>
<p>I guess technically speaking I still need a "second" for this proposal ... :)</p>



<a name="196878119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196878119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196878119">(May 08 2020 at 10:17)</a>:</h4>
<p>Maybe I can tempt <span class="user-mention" data-user-id="119009">@eddyb</span>  to take a look here :P</p>



<a name="196878213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/196878213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#196878213">(May 08 2020 at 10:18)</a>:</h4>
<p><span class="user-mention" data-user-id="216206">@Bastian Kauschke</span> that said, I'll ping you over in <a class="stream" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits">#wg-traits</a></p>



<a name="197182219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/233931-t-compiler/major%20changes/topic/intern%20predicates%2C%20introduce%20forall/implie%20compiler-team%23285/near/197182219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/233931-t-compiler/major-changes/topic/intern.20predicates.2C.20introduce.20forall.2Fimplie.20compiler-team.23285.html#197182219">(May 11 2020 at 17:59)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="492">@T-compiler</span>: Proposal <a href="https://github.com/rust-lang/compiler-team/issues/285#issuecomment-626859725">#285</a> has been seconded, and will be approved in 10 days if no objections are raised.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>